/* 
 * File:   LocalParameter.h
 * Author: jeffrey
 *
 * Created on May 28, 2010, 5:46 PM
 */

#ifndef _LOCALPARAMETERBINDING_H
#define	_LOCALPARAMETERBINDING_H
#include "Derivation.h"
#include <string>

using namespace std;

class LocalParameterBinding {
public:
    LocalParameterBinding();
    LocalParameter(const LocalParameterBinding& orig);
    virtual ~LocalParameterBinding();
    string getStructureId();
private:
    Derivation deriv;
    map<string,string> bindings;

};

LocalParameterBinding::LocalParameterBinding() {
}

LocalParameterBinding::LocalParameterBinding(const LocalParameterBinding& orig) {
}

LocalParameterBinding::~LocalParameterBinding() {
}

string LocalParameterBinding::getStructureId(){
    return Derivation.getString();
}
#endif	/* _LOCALPARAMETERBINDING_H */

